Advances in Proof Theory
- Författare
- (Edited by Reinhard Kahle, Thomas Strahm, Thomas Studer.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Birkhäuser | 2016 | Tyskland, Cham | XII, 425 sidor. 10 illus. online resource. | 978-3-319-29198-7 |
| Springer | 2016 | Schweiz, Cham | xii, 425 sidor. | 978-3-319-29196-3 |